<html>
<head><meta charset="utf-8"><title>meeting 2019.04.23 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html">meeting 2019.04.23</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="164019185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019185">(Apr 23 2019 at 19:01)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="164019241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019241">(Apr 23 2019 at 19:02)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span>!</p>



<a name="164019263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019263">(Apr 23 2019 at 19:02)</a>:</h4>
<p>hi</p>



<a name="164019369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019369">(Apr 23 2019 at 19:03)</a>:</h4>
<p>PSA: I'll be taking notes for the meeting, if anything seems important, you can mark it with  <span aria-label="point up" class="emoji emoji-1f446" role="img" title="point up">:point_up:</span>  and I'll be sure to mention it :)</p>



<a name="164019437"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019437" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019437">(Apr 23 2019 at 19:04)</a>:</h4>
<p><span class="user-mention" data-user-id="218716">@lokalmatador</span> welcome btw</p>



<a name="164019440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019440">(Apr 23 2019 at 19:04)</a>:</h4>
<p>Oh, excellent!</p>



<a name="164019483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019483">(Apr 23 2019 at 19:04)</a>:</h4>
<p>being the new guy here, I'll briefly introduce myself: 35 year old former postdoc looking for a new challenge in his newly gained spare time ;)</p>



<a name="164019487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019487">(Apr 23 2019 at 19:04)</a>:</h4>
<p>as I wasn't there last week I'm not sure about the agenda, I assume these couple things:</p>



<a name="164019547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019547">(Apr 23 2019 at 19:05)</a>:</h4>
<p>well, we have our <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--Abw5txE2EuUEhL3E1CMrnzuWAg-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--Abw5txE2EuUEhL3E1CMrnzuWAg-hk3a9ynduUN2gk1A0NNTF">usual roadmap document</a> in general</p>



<a name="164019552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019552">(Apr 23 2019 at 19:05)</a>:</h4>
<p>1) albin's sync, liveness work, and rustc<br>
2) mine<br>
3) saying hi to <span class="user-mention" data-user-id="218716">@lokalmatador</span> <br>
4) the plan till next week ?</p>



<a name="164019572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019572">(Apr 23 2019 at 19:05)</a>:</h4>
<p>sounds about right :)</p>



<a name="164019657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019657">(Apr 23 2019 at 19:06)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> how long is your masters for btw ? is it ending soon ?</p>



<a name="164019688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019688">(Apr 23 2019 at 19:07)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> The crazy answer is "as long as it takes", the long answer "ends in July, roughly"</p>



<a name="164019707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019707">(Apr 23 2019 at 19:07)</a>:</h4>
<p>That's what I wrote in my project plan anyway</p>



<a name="164019731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019731">(Apr 23 2019 at 19:07)</a>:</h4>
<p>do you also feel you need more help with the rustc facts or were niko's notes enough to unblock you ?</p>



<a name="164019814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019814">(Apr 23 2019 at 19:08)</a>:</h4>
<p>Niko's notes are enough to unblock me! I started working with them today and I already have something that compiles with the new Polonius <code>Output</code></p>



<a name="164019828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019828">(Apr 23 2019 at 19:08)</a>:</h4>
<p>nice !</p>



<a name="164019862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019862">(Apr 23 2019 at 19:08)</a>:</h4>
<p>Cool</p>



<a name="164019883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019883">(Apr 23 2019 at 19:09)</a>:</h4>
<p>so the 1st item in the roadmap document is well underway</p>



<a name="164019914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019914">(Apr 23 2019 at 19:09)</a>:</h4>
<p>I had to implement <code>Atom</code> for <code>mir::Local</code>, which drags Polonius into the <code>mir</code>module/crate as well, is that reasonable?</p>



<a name="164019919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019919">(Apr 23 2019 at 19:09)</a>:</h4>
<p>Yep, it seems like it'd be good for <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> and I to lay out a few more steps, but maybe not at this moment in this meeting .</p>



<a name="164019932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019932">(Apr 23 2019 at 19:09)</a>:</h4>
<blockquote>
<p>I had to implement <code>Atom</code> for <code>mir::Local</code></p>
</blockquote>
<p>seems expected</p>



<a name="164019938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164019938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164019938">(Apr 23 2019 at 19:09)</a>:</h4>
<p>Nah, I have things to do at least for the next couple of days.</p>



<a name="164020040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020040">(Apr 23 2019 at 19:10)</a>:</h4>
<p>is the polonius PR ready to go or do we need to wait for something ?</p>



<a name="164020044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020044">(Apr 23 2019 at 19:10)</a>:</h4>
<p>(that's a good thing with the Easter holiday: I didn't work)</p>



<a name="164020154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020154">(Apr 23 2019 at 19:11)</a>:</h4>
<blockquote>
<p>is the polonius PR ready to go or do we need to wait for something ?</p>
</blockquote>
<p>I think it's ok, I addressed <span class="user-mention" data-user-id="116155">@Jake Goulding</span>'s comments. It is however a breaking change and doesn't work with rustc as-is, and it's untested for larger inputs</p>



<a name="164020216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020216">(Apr 23 2019 at 19:12)</a>:</h4>
<p>I was wondering if liveness was to be incorporated into an/all existing analyses or something a bit apart, so it could maybe be reused in the tests (the programs thingy)</p>



<a name="164020220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020220">(Apr 23 2019 at 19:12)</a>:</h4>
<p>Or anything non-trivial really, as we don't have fact generation yet</p>



<a name="164020285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020285">(Apr 23 2019 at 19:13)</a>:</h4>
<p>(deleted)</p>



<a name="164020304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020304">(Apr 23 2019 at 19:13)</a>:</h4>
<blockquote>
<p>I was wondering if liveness was to be incorporated into an/all existing analyses or something a bit apart, so it could maybe be reused in the tests (the programs thingy)</p>
</blockquote>
<p>I guess so?</p>



<a name="164020330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020330">(Apr 23 2019 at 19:13)</a>:</h4>
<p>the PR is still marked as WIP ?</p>



<a name="164020337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020337">(Apr 23 2019 at 19:14)</a>:</h4>
<blockquote>
<p>I think it's ok, I addressed <span class="user-mention silent" data-user-id="116155">Jake Goulding</span>'s comments. It is however a breaking change and doesn't work with rustc as-is, and it's untested for larger inputs</p>
</blockquote>
<p>wait, what is a breaking change?</p>



<a name="164020395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020395">(Apr 23 2019 at 19:14)</a>:</h4>
<p>maybe i'm a bit confused, what PR are we talking about exactly?</p>



<a name="164020423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020423">(Apr 23 2019 at 19:14)</a>:</h4>
<p><a href="https://github.com/rust-lang/polonius/pull/105" target="_blank" title="https://github.com/rust-lang/polonius/pull/105">https://github.com/rust-lang/polonius/pull/105</a> ?</p>



<a name="164020438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020438">(Apr 23 2019 at 19:14)</a>:</h4>
<p>Oh, I see, ok.</p>



<a name="164020439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020439">(Apr 23 2019 at 19:14)</a>:</h4>
<p>That's what I assumed too</p>



<a name="164020460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020460">(Apr 23 2019 at 19:14)</a>:</h4>
<p>what is the breaking change yeah ?</p>



<a name="164020466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020466">(Apr 23 2019 at 19:15)</a>:</h4>
<p>OK, being a breaking change doesn't seem particularly significant :)</p>



<a name="164020481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020481">(Apr 23 2019 at 19:15)</a>:</h4>
<p>I don't think that polonius has much of a stability promise at this point :)</p>



<a name="164020483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020483">(Apr 23 2019 at 19:15)</a>:</h4>
<p>So it's breaking because it changes <code>Output</code> to take more type parameters</p>



<a name="164020485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020485">(Apr 23 2019 at 19:15)</a>:</h4>
<p>it's no big deal to do such breaking changes for polonius ;)</p>



<a name="164020490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020490">(Apr 23 2019 at 19:15)</a>:</h4>
<p>So literally anything using it has to be updated</p>



<a name="164020499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020499">(Apr 23 2019 at 19:15)</a>:</h4>
<p>we're arguably the only ones using it :)</p>



<a name="164020503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020503">(Apr 23 2019 at 19:15)</a>:</h4>
<p>god I hope we are</p>



<a name="164020513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020513">(Apr 23 2019 at 19:15)</a>:</h4>
<p>in any case, that's what semver's for, it's fine</p>



<a name="164020524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020524">(Apr 23 2019 at 19:15)</a>:</h4>
<p>agreed :)</p>



<a name="164020590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020590">(Apr 23 2019 at 19:16)</a>:</h4>
<p>Ok, good, that just means we can keep the old version in rustc until I'm done with my work adding liveness fact generation</p>



<a name="164020600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020600">(Apr 23 2019 at 19:16)</a>:</h4>
<p>right; in any case we don't have to publish right away</p>



<a name="164020602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020602">(Apr 23 2019 at 19:16)</a>:</h4>
<p>I just wanted to verify this</p>



<a name="164020611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020611">(Apr 23 2019 at 19:16)</a>:</h4>
<p>merging the PR and releasing it will be easier to use in rustc than a local build</p>



<a name="164020614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020614">(Apr 23 2019 at 19:16)</a>:</h4>
<p>Then I...think it's not WIP anymore</p>



<a name="164020655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020655">(Apr 23 2019 at 19:17)</a>:</h4>
<blockquote>
<p>merging the PR and releasing it will be easier to use in rustc than a local build</p>
</blockquote>
<p>OK, I'm fine with landing it and doing a version bump</p>



<a name="164020660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020660">(Apr 23 2019 at 19:17)</a>:</h4>
<p>There, I dropped it</p>



<a name="164020686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020686">(Apr 23 2019 at 19:17)</a>:</h4>
<p>So shall we move on in our agenda? :)</p>



<a name="164020696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020696">(Apr 23 2019 at 19:17)</a>:</h4>
<p>(we can fiddle with the liveness computation if we need it elsewhere)</p>



<a name="164020702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020702">(Apr 23 2019 at 19:17)</a>:</h4>
<p>Sure</p>



<a name="164020704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020704">(Apr 23 2019 at 19:17)</a>:</h4>
<p>yeah, so</p>



<a name="164020770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020770">(Apr 23 2019 at 19:18)</a>:</h4>
<p>apart from the tiny PR I did this week I worked on something that is probably not needed</p>



<a name="164020780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020780">(Apr 23 2019 at 19:18)</a>:</h4>
<blockquote>
<p>(we can fiddle with the liveness computation if we need it elsewhere)</p>
</blockquote>
<p>(the compiler does a few liveness analyses, but so far they're each a bit different)</p>



<a name="164020795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020795">(Apr 23 2019 at 19:18)</a>:</h4>
<p>that is using the location insensitive analyses results in datafrogopt</p>



<a name="164020836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020836">(Apr 23 2019 at 19:19)</a>:</h4>
<blockquote>
<p>that is using the location insensitive analyses results in datafrogopt</p>
</blockquote>
<p>Ooo, and why do you think this isn't needed? Also, has this landed? Because I have microbenchmarks I'd love to run on that</p>



<a name="164020850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020850">(Apr 23 2019 at 19:19)</a>:</h4>
<p>the couple things I did were easy so I think I have it working, rustc's tests seem to work equally bad</p>



<a name="164020891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020891">(Apr 23 2019 at 19:19)</a>:</h4>
<p>it's a bit putting the cart before the horse, until we have everything correct, it maybe unwise to do this kind of work</p>



<a name="164020907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020907">(Apr 23 2019 at 19:20)</a>:</h4>
<p>but yeah, running it in your bench suite would be nice</p>



<a name="164020976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020976">(Apr 23 2019 at 19:20)</a>:</h4>
<p>This is...a different suite :)</p>



<a name="164020996"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164020996" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164020996">(Apr 23 2019 at 19:20)</a>:</h4>
<p>Depending on which one you are referring to.</p>



<a name="164021002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021002">(Apr 23 2019 at 19:20)</a>:</h4>
<p>albeit these couple simple things shouldn't matter much I think</p>



<a name="164021005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021005">(Apr 23 2019 at 19:20)</a>:</h4>
<blockquote>
<p>the couple things I did were easy so I think I have it working, rustc's tests seem to work equally bad</p>
</blockquote>
<p>At some point I had gone through all the regressions and categorized them (and determined they were all acceptable). I wonder if it's worth the trouble to try and make the test run clean (possibly by adding "polonius" versions of the expected output.</p>



<a name="164021033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021033">(Apr 23 2019 at 19:20)</a>:</h4>
<p>could be</p>



<a name="164021042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021042">(Apr 23 2019 at 19:20)</a>:</h4>
<p>That said, I think we should spend a bit of time talking to <span class="user-mention" data-user-id="218716">@lokalmatador</span> about where they might fit in :)</p>



<a name="164021050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021050">(Apr 23 2019 at 19:21)</a>:</h4>
<p>(I have to run in a few minutes)</p>



<a name="164021062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021062">(Apr 23 2019 at 19:21)</a>:</h4>
<p>and trying maybe to give them a bit more overall context</p>



<a name="164021084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021084">(Apr 23 2019 at 19:21)</a>:</h4>
<p>(I don't remember how to run the tests properly so I used the compare mode polonius, and had 200+ failures)</p>



<a name="164021103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021103">(Apr 23 2019 at 19:21)</a>:</h4>
<p>Hmm, that's what I was doing.</p>



<a name="164021187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021187">(Apr 23 2019 at 19:22)</a>:</h4>
<p>I'm not sure we have a lot of work even for us ? that being said maybe the move/overwrite analysis could be interesting for <span class="user-mention" data-user-id="218716">@lokalmatador</span> ?</p>



<a name="164021302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021302">(Apr 23 2019 at 19:24)</a>:</h4>
<p>sorry, small network issue</p>



<a name="164021388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021388">(Apr 23 2019 at 19:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> btw I had a couple questions for the illegal subset relations PR a while back <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/illegal.20subset.20relations.20polonius.2399" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/illegal.20subset.20relations.20polonius.2399">here</a></p>



<a name="164021433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021433">(Apr 23 2019 at 19:25)</a>:</h4>
<p>hm, if someone could enlighten a little more on move/overwrite analysis?</p>



<a name="164021442"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021442" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021442">(Apr 23 2019 at 19:25)</a>:</h4>
<p>Anyway, if anyone's interested in my micro-benchmarking setup using Criterion, <a href="https://github.com/albins/polonius/tree/criterion-%C2%B5bench" target="_blank" title="https://github.com/albins/polonius/tree/criterion-%C2%B5bench">I have a branch on my fork</a></p>



<a name="164021487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021487">(Apr 23 2019 at 19:26)</a>:</h4>
<p>right now i'm trying to get a better idea and deeper understanding of the whole thing</p>



<a name="164021504"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021504" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021504">(Apr 23 2019 at 19:26)</a>:</h4>
<p>understandable :)</p>



<a name="164021520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021520">(Apr 23 2019 at 19:26)</a>:</h4>
<p>so the polonius effort is a bit two fold</p>



<a name="164021549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021549">(Apr 23 2019 at 19:26)</a>:</h4>
<p>so i do not know when I can start contributing in reasonable way<br>
but with a little help :)</p>



<a name="164021592"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021592" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021592">(Apr 23 2019 at 19:27)</a>:</h4>
<p>adding new features to NLL, and moving parts of existing computations inside the polonius crate</p>



<a name="164021598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021598">(Apr 23 2019 at 19:27)</a>:</h4>
<blockquote>
<p>right now i'm trying to get a better idea and deeper understanding of the whole thing</p>
</blockquote>
<p>Yes, I've been here...a month now, and I'm not sure about this! I spent the weekend (during which I absolutely didn't work) reading the NLL RFC and that helped me a lot</p>



<a name="164021608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021608">(Apr 23 2019 at 19:27)</a>:</h4>
<p>or better hints and pointers...</p>



<a name="164021631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021631">(Apr 23 2019 at 19:27)</a>:</h4>
<p>I see, let me open that one up</p>



<a name="164021635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021635">(Apr 23 2019 at 19:27)</a>:</h4>
<p>I think that starting by trying to encode the move errors is not a good idea :)</p>



<a name="164021698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021698">(Apr 23 2019 at 19:28)</a>:</h4>
<p>dang</p>



<a name="164021709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021709">(Apr 23 2019 at 19:28)</a>:</h4>
<p>yeah probably</p>



<a name="164021731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021731">(Apr 23 2019 at 19:28)</a>:</h4>
<p>One thought I had was trying to continue the work that <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> was doing towards an extended perf suite</p>



<a name="164021745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021745">(Apr 23 2019 at 19:28)</a>:</h4>
<p>ooooh interesting</p>



<a name="164021761"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021761" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021761">(Apr 23 2019 at 19:29)</a>:</h4>
<p>specifically, <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> gathered various bits of data,</p>



<a name="164021791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021791">(Apr 23 2019 at 19:29)</a>:</h4>
<p>I was thinking it would be useful to try and gather some statistics about the various benchmark programs into a spreadsheet</p>



<a name="164021805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021805">(Apr 23 2019 at 19:29)</a>:</h4>
<p>to give a bit of context, <span class="user-mention" data-user-id="218716">@lokalmatador</span> -- we had a standard benchmark suite for the rust compiler</p>



<a name="164021807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021807">(Apr 23 2019 at 19:29)</a>:</h4>
<p>measuring compilation time</p>



<a name="164021813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021813">(Apr 23 2019 at 19:29)</a>:</h4>
<p>we did some measurements of what happens when we enable polonius</p>



<a name="164021820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021820">(Apr 23 2019 at 19:29)</a>:</h4>
<p>yep</p>



<a name="164021838"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021838" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021838">(Apr 23 2019 at 19:29)</a>:</h4>
<p>this is expected to be worse. Among other things, polonius is currently running <em>in addition</em> to the standard borrow check</p>



<a name="164021841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021841">(Apr 23 2019 at 19:29)</a>:</h4>
<p>so it could hardly be faster :)</p>



<a name="164021900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021900">(Apr 23 2019 at 19:30)</a>:</h4>
<p>but also it's not been optimized etc etc</p>



<a name="164021931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021931">(Apr 23 2019 at 19:30)</a>:</h4>
<p>anyway, it would be nice to extend the polonius repository with a selected set of tests</p>



<a name="164021935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021935">(Apr 23 2019 at 19:30)</a>:</h4>
<p>that we believe are "representative" somehow</p>



<a name="164021950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021950">(Apr 23 2019 at 19:30)</a>:</h4>
<p>this way we could benchmark polonius just against those tests, which is <strong>much, much</strong> faster</p>



<a name="164021998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164021998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164021998">(Apr 23 2019 at 19:31)</a>:</h4>
<p>yeah that could probably be something easy to begin with giving me some more time to study; and testing should allow me to understand the whole idea better anyways</p>



<a name="164022030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022030">(Apr 23 2019 at 19:31)</a>:</h4>
<p>(the micro-benchmarks I toyed with uses the standard input examples in the Polonius crate, for the record)</p>



<a name="164022047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022047">(Apr 23 2019 at 19:31)</a>:</h4>
<p>yeah, i think that could be something to start with</p>



<a name="164022113"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022113" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022113">(Apr 23 2019 at 19:32)</a>:</h4>
<p>But I also extended the big rustc benchmarks with essentially a Polonius run</p>



<a name="164022197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022197">(Apr 23 2019 at 19:32)</a>:</h4>
<p><span class="user-mention" data-user-id="218716">@lokalmatador</span> there a few challenges</p>



<a name="164022200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022200">(Apr 23 2019 at 19:32)</a>:</h4>
<p>For development, I suspect a faster, more micro-oriented benchmark would be a better idea, but I'm also not sure if Criterion is the best way to go, given that it more or less requires benchmarks that run in microseconds</p>



<a name="164022212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022212">(Apr 23 2019 at 19:32)</a>:</h4>
<p>it might be interesting to have benchmarks where code fails to compile, since that should be the slowest to analyze</p>



<a name="164022217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022217">(Apr 23 2019 at 19:32)</a>:</h4>
<p>among other things, our benchmark suite consists of entire <strong>crates</strong>, but polonius operates on <strong>individual functions</strong></p>



<a name="164022222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022222">(Apr 23 2019 at 19:33)</a>:</h4>
<p>Unless you have...a lot of time</p>



<a name="164022264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022264">(Apr 23 2019 at 19:33)</a>:</h4>
<p>ok</p>



<a name="164022267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022267">(Apr 23 2019 at 19:33)</a>:</h4>
<p>so what I was hoping to do was to pick some set of crates</p>



<a name="164022280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022280">(Apr 23 2019 at 19:33)</a>:</h4>
<p>well wait sorry</p>



<a name="164022288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022288">(Apr 23 2019 at 19:33)</a>:</h4>
<p>what I was hoping to do was to "Dump the facts" from each crate (That's relatively easy)</p>



<a name="164022340"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022340" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022340">(Apr 23 2019 at 19:34)</a>:</h4>
<p>these are the input tuples to poloonius</p>



<a name="164022351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022351">(Apr 23 2019 at 19:34)</a>:</h4>
<p>and locating slow functions ?</p>



<a name="164022366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022366">(Apr 23 2019 at 19:34)</a>:</h4>
<p>you're referring to the rustc benchmark and not one for polonius right?</p>



<a name="164022368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022368">(Apr 23 2019 at 19:34)</a>:</h4>
<p>put some stats about these facts into a spreadsheet -- perhaps e.g. looking at the maximum size of each kind of tuple from any fn in the crate</p>



<a name="164022371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022371">(Apr 23 2019 at 19:34)</a>:</h4>
<blockquote>
<p>you're referring to the rustc benchmark and not one for polonius right?</p>
</blockquote>
<p>correct</p>



<a name="164022377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022377">(Apr 23 2019 at 19:34)</a>:</h4>
<p>basically look for some "outliers" in various dimensions</p>



<a name="164022388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022388">(Apr 23 2019 at 19:34)</a>:</h4>
<p>like, ah, here is a benchmark with a lot of subset relations</p>



<a name="164022401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022401">(Apr 23 2019 at 19:34)</a>:</h4>
<p>here is another with a lot of xxx relations</p>



<a name="164022403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022403">(Apr 23 2019 at 19:34)</a>:</h4>
<p>whatever it is</p>



<a name="164022429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022429">(Apr 23 2019 at 19:35)</a>:</h4>
<p>this might help us narrow down to 2 or 3 "interesting" crates</p>



<a name="164022435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022435">(Apr 23 2019 at 19:35)</a>:</h4>
<p>then within those crates to try and find the best functions</p>



<a name="164022441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022441">(Apr 23 2019 at 19:35)</a>:</h4>
<p>and extract those</p>



<a name="164022448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022448">(Apr 23 2019 at 19:35)</a>:</h4>
<p>sounds reasonable</p>



<a name="164022459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022459">(Apr 23 2019 at 19:35)</a>:</h4>
<blockquote>
<p>then within those crates to try and find the best functions</p>
</blockquote>
<p>the way I did this in the past was to instrument rustc a bit -- it's not too hard -- to profile the time spent per fn</p>



<a name="164022467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022467">(Apr 23 2019 at 19:35)</a>:</h4>
<p>as an alternative, we could actually do this up front</p>



<a name="164022480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022480">(Apr 23 2019 at 19:35)</a>:</h4>
<p>(I could give you some tips wht to edit)</p>



<a name="164022483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022483">(Apr 23 2019 at 19:35)</a>:</h4>
<p>can the self profiling be used for that now ?</p>



<a name="164022489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022489">(Apr 23 2019 at 19:35)</a>:</h4>
<p>I don't think it can yet</p>



<a name="164022499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022499">(Apr 23 2019 at 19:35)</a>:</h4>
<p>but it's like 1 line to add a simple measurement</p>



<a name="164022553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022553">(Apr 23 2019 at 19:36)</a>:</h4>
<p>in <em>That</em> case we could make a better spreadsheet</p>



<a name="164022560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022560">(Apr 23 2019 at 19:36)</a>:</h4>
<p>where each row is a fn</p>



<a name="164022582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022582">(Apr 23 2019 at 19:36)</a>:</h4>
<p>and the columns are like "ms" and the number of tuples from each input relation</p>



<a name="164022589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022589">(Apr 23 2019 at 19:36)</a>:</h4>
<p>this might be give us some data</p>



<a name="164022603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022603">(Apr 23 2019 at 19:36)</a>:</h4>
<p>datafrog has the ability to dump tuple stats btw</p>



<a name="164022609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022609">(Apr 23 2019 at 19:36)</a>:</h4>
<p>ah yeah, right!</p>



<a name="164022635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022635">(Apr 23 2019 at 19:37)</a>:</h4>
<p>so basically this is the task, then:</p>
<ul>
<li>modify and instrument rustc to dump out the timing measurements + tuple states on each fn in some way</li>
</ul>



<a name="164022651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022651">(Apr 23 2019 at 19:37)</a>:</h4>
<ul>
<li>run this over various tests and assemble into a spreadsheet</li>
</ul>



<a name="164022662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022662">(Apr 23 2019 at 19:37)</a>:</h4>
<ul>
<li>we'll try to use that to pick good representative inputs</li>
</ul>



<a name="164022663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022663">(Apr 23 2019 at 19:37)</a>:</h4>
<p><span class="user-mention" data-user-id="218716">@lokalmatador</span> are you familar with rustc development by any chance ?</p>



<a name="164022678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022678">(Apr 23 2019 at 19:37)</a>:</h4>
<blockquote>
<ul>
<li>modify and instrument rustc to dump out the timing measurements + tuple states on each fn in some way</li>
</ul>
</blockquote>
<p>probably me and <span class="user-mention" data-user-id="116113">@lqd</span> can offer some tips here in a separate topic :)</p>



<a name="164022691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022691">(Apr 23 2019 at 19:38)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="218716">lokalmatador</span> are you familar with rustc development by any chance ?</p>
</blockquote>
<p>not yet but planning to read the guide this week</p>



<a name="164022734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022734">(Apr 23 2019 at 19:38)</a>:</h4>
<p>absolutely</p>



<a name="164022749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022749">(Apr 23 2019 at 19:38)</a>:</h4>
<p>oh that would be amazing</p>



<a name="164022753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022753">(Apr 23 2019 at 19:38)</a>:</h4>
<p>one nice thing <span class="user-mention" data-user-id="218716">@lokalmatador</span> is that there is no <strong>great rush</strong> on this</p>



<a name="164022765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022765">(Apr 23 2019 at 19:38)</a>:</h4>
<p>heh, don't worry, we're not going to ask you to figure everything out on your own ;)</p>



<a name="164022789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022789">(Apr 23 2019 at 19:39)</a>:</h4>
<p>I only wish the compiler were so well documented that were possible :P</p>



<a name="164022835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022835">(Apr 23 2019 at 19:39)</a>:</h4>
<p>hehe</p>



<a name="164022945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022945">(Apr 23 2019 at 19:40)</a>:</h4>
<p>so Albin is not blocked, I don't think I am either, and <span class="user-mention" data-user-id="218716">@lokalmatador</span> can hit us up for questions and we'll have a dedicated topic for that</p>



<a name="164022951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022951">(Apr 23 2019 at 19:40)</a>:</h4>
<p>ok, task is noted down in my todo</p>



<a name="164022973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164022973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164022973">(Apr 23 2019 at 19:40)</a>:</h4>
<p>I think you can even try asking me about some lower-hanging things</p>



<a name="164023002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023002">(Apr 23 2019 at 19:41)</a>:</h4>
<p>and niko has already too much on their plate already :p</p>



<a name="164023004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023004">(Apr 23 2019 at 19:41)</a>:</h4>
<p>great - i thin for now I'll dig into the rustc guide - so for now i won't bug you that much ;)</p>



<a name="164023017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023017">(Apr 23 2019 at 19:41)</a>:</h4>
<blockquote>
<p>I think you can even try asking me about some lower-hanging things</p>
</blockquote>
<p>great, thanks!</p>



<a name="164023052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023052">(Apr 23 2019 at 19:42)</a>:</h4>
<p>with that, I think we're good ?</p>



<a name="164023109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023109">(Apr 23 2019 at 19:42)</a>:</h4>
<p>I'm happy for now!</p>



<a name="164023115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023115">(Apr 23 2019 at 19:42)</a>:</h4>
<p>me too</p>



<a name="164023120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023120">(Apr 23 2019 at 19:42)</a>:</h4>
<p>if so, good evening everyone, thank you for your time :) <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="164023134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023134">(Apr 23 2019 at 19:42)</a>:</h4>
<p>awesome!</p>



<a name="164023136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023136">(Apr 23 2019 at 19:42)</a>:</h4>
<p>Thanks! <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="164023141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023141">(Apr 23 2019 at 19:42)</a>:</h4>
<p>let's update the roadmap a bit</p>



<a name="164023146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023146">(Apr 23 2019 at 19:42)</a>:</h4>
<p>to describe the profiling business</p>



<a name="164023166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023166">(Apr 23 2019 at 19:43)</a>:</h4>
<p>it's basically this:</p>
<blockquote>
<p>Identify outliers in performance + memory usage</p>
</blockquote>



<a name="164023170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023170">(Apr 23 2019 at 19:43)</a>:</h4>
<p>but now we have a bit more detail</p>



<a name="164023180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023180">(Apr 23 2019 at 19:43)</a>:</h4>
<p>hopefully soon much more</p>



<a name="164023300"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164023300" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164023300">(Apr 23 2019 at 19:44)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Polonius-Roadmap--Abw5txE2EuUEhL3E1CMrnzuWAg-hk3a9ynduUN2gk1A0NNTF#:uid=627651028890979090145392&amp;h2=Benchmarking-suite" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--Abw5txE2EuUEhL3E1CMrnzuWAg-hk3a9ynduUN2gk1A0NNTF#:uid=627651028890979090145392&amp;h2=Benchmarking-suite">basic steps outlined here</a></p>



<a name="164038021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.04.23/near/164038021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E04.2E23.html#164038021">(Apr 23 2019 at 23:12)</a>:</h4>
<p>meeting notes PR posted <a href="https://github.com/rust-lang/compiler-team/pull/69" target="_blank" title="https://github.com/rust-lang/compiler-team/pull/69">here</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>